_require "067_provide2.smi"
type 'a t2 = 'a t
